Optimal. Leaf size=179 \[ \left (\frac {1}{16}+\frac {i}{16}\right ) \sqrt {\pi } f^{a-\frac {1}{2}} e^{\frac {i (b \log (f)+2 i e)^2}{8 f}+2 i d} \text {erf}\left (\frac {\left (\frac {1}{4}+\frac {i}{4}\right ) (b \log (f)+2 i e+4 i f x)}{\sqrt {f}}\right )+\left (\frac {1}{16}+\frac {i}{16}\right ) \sqrt {\pi } f^{a-\frac {1}{2}} e^{\frac {i (2 e+i b \log (f))^2}{8 f}-2 i d} \text {erfi}\left (\frac {\left (\frac {1}{4}+\frac {i}{4}\right ) (-b \log (f)+2 i e+4 i f x)}{\sqrt {f}}\right )+\frac {f^{a+b x}}{2 b \log (f)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.35, antiderivative size = 179, normalized size of antiderivative = 1.00, number of steps used = 9, number of rules used = 6, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.286, Rules used = {4472, 2194, 2287, 2234, 2204, 2205} \[ \left (\frac {1}{16}+\frac {i}{16}\right ) \sqrt {\pi } f^{a-\frac {1}{2}} e^{\frac {i (b \log (f)+2 i e)^2}{8 f}+2 i d} \text {Erf}\left (\frac {\left (\frac {1}{4}+\frac {i}{4}\right ) (b \log (f)+2 i e+4 i f x)}{\sqrt {f}}\right )+\left (\frac {1}{16}+\frac {i}{16}\right ) \sqrt {\pi } f^{a-\frac {1}{2}} e^{\frac {i (2 e+i b \log (f))^2}{8 f}-2 i d} \text {Erfi}\left (\frac {\left (\frac {1}{4}+\frac {i}{4}\right ) (-b \log (f)+2 i e+4 i f x)}{\sqrt {f}}\right )+\frac {f^{a+b x}}{2 b \log (f)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2194
Rule 2204
Rule 2205
Rule 2234
Rule 2287
Rule 4472
Rubi steps
\begin {align*} \int f^{a+b x} \sin ^2\left (d+e x+f x^2\right ) \, dx &=\int \left (\frac {1}{2} f^{a+b x}-\frac {1}{4} e^{-2 i d-2 i e x-2 i f x^2} f^{a+b x}-\frac {1}{4} e^{2 i d+2 i e x+2 i f x^2} f^{a+b x}\right ) \, dx\\ &=-\left (\frac {1}{4} \int e^{-2 i d-2 i e x-2 i f x^2} f^{a+b x} \, dx\right )-\frac {1}{4} \int e^{2 i d+2 i e x+2 i f x^2} f^{a+b x} \, dx+\frac {1}{2} \int f^{a+b x} \, dx\\ &=\frac {f^{a+b x}}{2 b \log (f)}-\frac {1}{4} \int \exp \left (-2 i d-2 i f x^2+a \log (f)-x (2 i e-b \log (f))\right ) \, dx-\frac {1}{4} \int \exp \left (2 i d+2 i f x^2+a \log (f)+x (2 i e+b \log (f))\right ) \, dx\\ &=\frac {f^{a+b x}}{2 b \log (f)}-\frac {1}{4} \exp \left (-2 i d+a \log (f)-\frac {i (-2 i e+b \log (f))^2}{8 f}\right ) \int e^{\frac {i (-2 i e-4 i f x+b \log (f))^2}{8 f}} \, dx-\frac {1}{4} \left (e^{2 i d+\frac {i (2 i e+b \log (f))^2}{8 f}} f^a\right ) \int e^{-\frac {i (2 i e+4 i f x+b \log (f))^2}{8 f}} \, dx\\ &=\left (\frac {1}{16}+\frac {i}{16}\right ) e^{2 i d+\frac {i (2 i e+b \log (f))^2}{8 f}} f^{-\frac {1}{2}+a} \sqrt {\pi } \text {erf}\left (\frac {\left (\frac {1}{4}+\frac {i}{4}\right ) (2 i e+4 i f x+b \log (f))}{\sqrt {f}}\right )+\left (\frac {1}{16}+\frac {i}{16}\right ) \exp \left (-\frac {1}{8} i \left (16 d+\frac {(2 i e-b \log (f))^2}{f}\right )\right ) f^{-\frac {1}{2}+a} \sqrt {\pi } \text {erfi}\left (\frac {\left (\frac {1}{4}+\frac {i}{4}\right ) (2 i e+4 i f x-b \log (f))}{\sqrt {f}}\right )+\frac {f^{a+b x}}{2 b \log (f)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 1.08, size = 244, normalized size = 1.36 \[ \frac {f^{a-\frac {b e+f}{2 f}} e^{-\frac {i \left (b^2 \log ^2(f)+4 e^2\right )}{8 f}} \left (\sqrt [4]{-1} \sqrt {2 \pi } b \log (f) e^{\frac {i b^2 \log ^2(f)}{4 f}} (\cos (2 d)+i \sin (2 d)) \text {erf}\left (\frac {\left (\frac {1}{4}+\frac {i}{4}\right ) (b \log (f)+2 i (e+2 f x))}{\sqrt {f}}\right )+8 f^{b \left (\frac {e}{2 f}+x\right )+\frac {1}{2}} e^{\frac {i \left (b^2 \log ^2(f)+4 e^2\right )}{8 f}}+\sqrt [4]{-1} \sqrt {2 \pi } b e^{\frac {i e^2}{f}} \log (f) (\sin (2 d)+i \cos (2 d)) \text {erf}\left (\frac {\left (\frac {1}{4}+\frac {i}{4}\right ) (i b \log (f)+2 e+4 f x)}{\sqrt {f}}\right )\right )}{16 b \log (f)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.80, size = 327, normalized size = 1.83 \[ -\frac {2 \, \pi b \sqrt {\frac {f}{\pi }} e^{\left (\frac {-i \, b^{2} \log \relax (f)^{2} + 4 i \, e^{2} - 16 i \, d f - 4 \, {\left (b e - 2 \, a f\right )} \log \relax (f)}{8 \, f}\right )} \operatorname {C}\left (\frac {{\left (4 \, f x + i \, b \log \relax (f) + 2 \, e\right )} \sqrt {\frac {f}{\pi }}}{2 \, f}\right ) \log \relax (f) - 2 \, \pi b \sqrt {\frac {f}{\pi }} e^{\left (\frac {i \, b^{2} \log \relax (f)^{2} - 4 i \, e^{2} + 16 i \, d f - 4 \, {\left (b e - 2 \, a f\right )} \log \relax (f)}{8 \, f}\right )} \operatorname {C}\left (-\frac {{\left (4 \, f x - i \, b \log \relax (f) + 2 \, e\right )} \sqrt {\frac {f}{\pi }}}{2 \, f}\right ) \log \relax (f) - 2 i \, \pi b \sqrt {\frac {f}{\pi }} e^{\left (\frac {-i \, b^{2} \log \relax (f)^{2} + 4 i \, e^{2} - 16 i \, d f - 4 \, {\left (b e - 2 \, a f\right )} \log \relax (f)}{8 \, f}\right )} \operatorname {S}\left (\frac {{\left (4 \, f x + i \, b \log \relax (f) + 2 \, e\right )} \sqrt {\frac {f}{\pi }}}{2 \, f}\right ) \log \relax (f) - 2 i \, \pi b \sqrt {\frac {f}{\pi }} e^{\left (\frac {i \, b^{2} \log \relax (f)^{2} - 4 i \, e^{2} + 16 i \, d f - 4 \, {\left (b e - 2 \, a f\right )} \log \relax (f)}{8 \, f}\right )} \operatorname {S}\left (-\frac {{\left (4 \, f x - i \, b \log \relax (f) + 2 \, e\right )} \sqrt {\frac {f}{\pi }}}{2 \, f}\right ) \log \relax (f) - 8 \, f f^{b x + a}}{16 \, b f \log \relax (f)} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.35, size = 605, normalized size = 3.38 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.69, size = 175, normalized size = 0.98 \[ \frac {\sqrt {\pi }\, f^{a} {\mathrm e}^{-\frac {i \left (\ln \relax (f )^{2} b^{2}-4 i \ln \relax (f ) b e -4 e^{2}+16 d f \right )}{8 f}} \sqrt {2}\, \erf \left (-\sqrt {2}\, \sqrt {i f}\, x +\frac {\left (b \ln \relax (f )-2 i e \right ) \sqrt {2}}{4 \sqrt {i f}}\right )}{16 \sqrt {i f}}+\frac {\sqrt {\pi }\, f^{a} {\mathrm e}^{\frac {i \left (\ln \relax (f )^{2} b^{2}+4 i \ln \relax (f ) b e -4 e^{2}+16 d f \right )}{8 f}} \erf \left (-\sqrt {-2 i f}\, x +\frac {2 i e +b \ln \relax (f )}{2 \sqrt {-2 i f}}\right )}{8 \sqrt {-2 i f}}+\frac {f^{b x +a}}{2 b \ln \relax (f )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.46, size = 240, normalized size = 1.34 \[ \frac {4^{\frac {1}{4}} \sqrt {2} \sqrt {\pi } {\left ({\left (-\left (i - 1\right ) \, b f^{a} \cos \left (\frac {b^{2} \log \relax (f)^{2} - 4 \, e^{2} + 16 \, d f}{8 \, f}\right ) \log \relax (f) - \left (i + 1\right ) \, b f^{a} \log \relax (f) \sin \left (\frac {b^{2} \log \relax (f)^{2} - 4 \, e^{2} + 16 \, d f}{8 \, f}\right )\right )} \operatorname {erf}\left (\frac {i \, {\left (4 i \, f x - b \log \relax (f) + 2 i \, e\right )} \sqrt {2 i \, f}}{4 \, f}\right ) + {\left (\left (i + 1\right ) \, b f^{a} \cos \left (\frac {b^{2} \log \relax (f)^{2} - 4 \, e^{2} + 16 \, d f}{8 \, f}\right ) \log \relax (f) + \left (i - 1\right ) \, b f^{a} \log \relax (f) \sin \left (\frac {b^{2} \log \relax (f)^{2} - 4 \, e^{2} + 16 \, d f}{8 \, f}\right )\right )} \operatorname {erf}\left (\frac {i \, {\left (4 i \, f x + b \log \relax (f) + 2 i \, e\right )} \sqrt {-2 i \, f}}{4 \, f}\right )\right )} f^{\frac {3}{2}} + 16 \, f^{a + 2} e^{\left (b x \log \relax (f) + \frac {b e \log \relax (f)}{2 \, f}\right )}}{32 \, b f^{2} f^{\frac {b e}{2 \, f}} \log \relax (f)} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.01 \[ \int f^{a+b\,x}\,{\sin \left (f\,x^2+e\,x+d\right )}^2 \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int f^{a + b x} \sin ^{2}{\left (d + e x + f x^{2} \right )}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________